[next] [tail] [up]

Integrals 1 to 100

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 1

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

152 152 106 107 113 115 0 293 111

N.S.

1 1.00 0.70 0.70 0.74 0.76 0.00 1.93 0.73

time (sec)

N/A 0.131 0.484 1.585 0.190 0.313 0.000 0.326 0.138

Problem 2

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

119 119 113 87 91 93 0 247 89

N.S.

1 1.00 0.95 0.73 0.76 0.78 0.00 2.08 0.75

time (sec)

N/A 0.121 0.183 1.462 0.194 0.289 0.000 0.310 0.082

Problem 3

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

87 87 83 67 69 71 0 201 67

N.S.

1 1.00 0.95 0.77 0.79 0.82 0.00 2.31 0.77

time (sec)

N/A 0.102 0.076 1.358 0.193 0.290 0.000 0.314 0.057

Problem 4

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

58 58 57 47 47 49 0 66 45

N.S.

1 1.00 0.98 0.81 0.81 0.84 0.00 1.14 0.78

time (sec)

N/A 0.107 0.050 1.308 0.197 0.292 0.000 0.303 0.053

Problem 5

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 26 37 24 23 25 0 32 20

N.S.

1 1.00 1.42 0.92 0.88 0.96 0.00 1.23 0.77

time (sec)

N/A 0.044 0.015 0.618 0.199 0.286 0.000 0.293 0.042

Problem 6

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 30 65 33 26 31 0 58 17

N.S.

1 1.00 2.17 1.10 0.87 1.03 0.00 1.93 0.57

time (sec)

N/A 0.082 0.043 0.423 0.193 0.261 0.000 0.307 0.122

Problem 7

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

73 73 120 59 52 93 0 102 53

N.S.

1 1.00 1.64 0.81 0.71 1.27 0.00 1.40 0.73

time (sec)

N/A 0.133 0.045 1.060 0.194 0.273 0.000 0.303 0.074

Problem 8

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

118 118 176 83 95 193 0 149 99

N.S.

1 1.00 1.49 0.70 0.81 1.64 0.00 1.26 0.84

time (sec)

N/A 0.166 0.036 0.821 0.194 0.267 0.000 0.313 0.103

Problem 9

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

163 163 232 103 136 307 0 196 142

N.S.

1 1.00 1.42 0.63 0.83 1.88 0.00 1.20 0.87

time (sec)

N/A 0.191 0.199 1.125 0.204 0.296 0.000 0.312 13.578

Problem 10

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

165 165 106 116 127 123 0 174 150

N.S.

1 1.00 0.64 0.70 0.77 0.75 0.00 1.05 0.91

time (sec)

N/A 0.196 1.095 1.855 0.197 0.289 0.000 0.306 13.774

Problem 11

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

127 127 86 96 106 102 0 146 120

N.S.

1 1.00 0.68 0.76 0.83 0.80 0.00 1.15 0.94

time (sec)

N/A 0.176 0.674 1.553 0.194 0.287 0.000 0.307 13.664

Problem 12

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

89 89 86 76 81 79 0 118 90

N.S.

1 1.00 0.97 0.85 0.91 0.89 0.00 1.33 1.01

time (sec)

N/A 0.147 0.293 1.471 0.198 0.281 0.000 0.305 13.455

Problem 13

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

51 51 54 55 59 55 0 88 80

N.S.

1 1.00 1.06 1.08 1.16 1.08 0.00 1.73 1.57

time (sec)

N/A 0.102 0.228 0.923 0.204 0.292 0.000 0.299 13.291

Problem 14

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

37 37 41 42 50 63 0 50 29

N.S.

1 1.00 1.11 1.14 1.35 1.70 0.00 1.35 0.78

time (sec)

N/A 0.135 0.156 0.749 0.201 0.278 0.000 0.311 13.688

Problem 15

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 69 69 63 76 108 0 79 65

N.S.

1 1.00 1.00 0.91 1.10 1.57 0.00 1.14 0.94

time (sec)

N/A 0.139 0.100 0.958 0.195 0.270 0.000 0.313 14.297

Problem 16

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 101 91 83 96 190 0 107 97

N.S.

1 1.00 0.90 0.82 0.95 1.88 0.00 1.06 0.96

time (sec)

N/A 0.138 0.081 0.889 0.201 0.283 0.000 0.326 14.525

Problem 17

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

131 131 113 103 116 281 0 136 128

N.S.

1 1.00 0.86 0.79 0.89 2.15 0.00 1.04 0.98

time (sec)

N/A 0.151 0.248 1.005 0.197 0.271 0.000 0.328 14.439

Problem 18

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

165 165 135 123 136 366 0 164 159

N.S.

1 1.00 0.82 0.75 0.82 2.22 0.00 0.99 0.96

time (sec)

N/A 0.160 0.302 1.028 0.206 0.273 0.000 0.337 14.790

Problem 19

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

183 183 127 181 146 167 0 370 146

N.S.

1 1.00 0.69 0.99 0.80 0.91 0.00 2.02 0.80

time (sec)

N/A 0.227 1.209 2.364 0.226 0.304 0.000 0.419 14.383

Problem 20

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

131 131 107 151 107 128 0 320 105

N.S.

1 1.00 0.82 1.15 0.82 0.98 0.00 2.44 0.80

time (sec)

N/A 0.196 0.389 2.054 0.192 0.283 0.000 0.370 14.311

Problem 21

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

112 112 87 121 94 115 0 270 91

N.S.

1 1.00 0.78 1.08 0.84 1.03 0.00 2.41 0.81

time (sec)

N/A 0.198 0.207 1.894 0.200 0.273 0.000 0.358 14.264

Problem 22

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

62 62 65 91 56 76 0 74 54

N.S.

1 1.00 1.05 1.47 0.90 1.23 0.00 1.19 0.87

time (sec)

N/A 0.155 0.210 2.018 0.222 0.269 0.000 0.349 0.060

Problem 23

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 43 31 34 41 51 0 51 41

N.S.

1 1.00 0.72 0.79 0.95 1.19 0.00 1.19 0.95

time (sec)

N/A 0.097 0.296 0.826 0.206 0.273 0.000 0.317 0.059

Problem 24

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

48 48 36 67 43 61 0 115 35

N.S.

1 1.00 0.75 1.40 0.90 1.27 0.00 2.40 0.73

time (sec)

N/A 0.139 0.131 0.448 0.211 0.262 0.000 0.308 14.252

Problem 25

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 69 75 95 68 112 0 135 61

N.S.

1 1.00 1.09 1.38 0.99 1.62 0.00 1.96 0.88

time (sec)

N/A 0.176 0.450 0.815 0.215 0.298 0.000 0.336 13.300

Problem 26

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

115 115 103 118 104 209 0 191 109

N.S.

1 1.00 0.90 1.03 0.90 1.82 0.00 1.66 0.95

time (sec)

N/A 0.216 1.214 0.967 0.209 0.261 0.000 0.349 0.109

Problem 27

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

160 160 136 172 143 289 0 238 147

N.S.

1 1.00 0.85 1.08 0.89 1.81 0.00 1.49 0.92

time (sec)

N/A 0.236 1.130 1.352 0.213 0.285 0.000 0.372 0.118

Problem 28

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

205 205 164 210 197 461 0 291 203

N.S.

1 1.00 0.80 1.02 0.96 2.25 0.00 1.42 0.99

time (sec)

N/A 0.289 2.620 1.267 0.233 0.294 0.000 0.376 14.143

Problem 29

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

199 199 144 164 215 185 0 225 293

N.S.

1 1.00 0.72 0.82 1.08 0.93 0.00 1.13 1.47

time (sec)

N/A 0.458 1.065 2.291 0.294 0.280 0.000 0.391 15.701

Problem 30

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

157 157 124 142 174 158 0 193 235

N.S.

1 1.00 0.79 0.90 1.11 1.01 0.00 1.23 1.50

time (sec)

N/A 0.377 0.469 2.128 0.285 0.288 0.000 0.355 14.710

Problem 31

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

115 115 94 116 126 133 0 161 177

N.S.

1 1.00 0.82 1.01 1.10 1.16 0.00 1.40 1.54

time (sec)

N/A 0.353 0.150 2.142 0.278 0.288 0.000 0.343 14.164

Problem 32

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

73 73 243 78 81 104 0 128 117

N.S.

1 1.00 3.33 1.07 1.11 1.42 0.00 1.75 1.60

time (sec)

N/A 0.181 1.224 1.273 0.285 0.304 0.000 0.343 13.581

Problem 33

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

57 57 401 77 74 101 0 90 70

N.S.

1 1.00 7.04 1.35 1.30 1.77 0.00 1.58 1.23

time (sec)

N/A 0.328 6.655 0.779 0.201 0.269 0.000 0.323 13.502

Problem 34

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

87 87 228 98 113 159 0 104 91

N.S.

1 1.00 2.62 1.13 1.30 1.83 0.00 1.20 1.05

time (sec)

N/A 0.376 1.971 1.335 0.193 0.267 0.000 0.334 15.097

Problem 35

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

129 129 317 154 144 206 0 136 124

N.S.

1 1.00 2.46 1.19 1.12 1.60 0.00 1.05 0.96

time (sec)

N/A 0.288 1.425 1.327 0.201 0.263 0.000 0.345 13.727

Problem 36

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

163 163 428 191 175 272 0 168 159

N.S.

1 1.00 2.63 1.17 1.07 1.67 0.00 1.03 0.98

time (sec)

N/A 0.323 2.955 1.326 0.212 0.287 0.000 0.353 13.467

Problem 37

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

201 201 1050 217 204 406 0 200 194

N.S.

1 1.00 5.22 1.08 1.01 2.02 0.00 1.00 0.97

time (sec)

N/A 0.340 10.916 1.484 0.208 0.280 0.000 0.356 13.097

Problem 38

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

203 203 148 217 158 182 0 396 157

N.S.

1 1.00 0.73 1.07 0.78 0.90 0.00 1.95 0.77

time (sec)

N/A 0.236 1.932 3.018 0.204 0.309 0.000 0.487 12.635

Problem 39

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

131 131 106 118 107 121 0 239 107

N.S.

1 1.00 0.81 0.90 0.82 0.92 0.00 1.82 0.82

time (sec)

N/A 0.210 0.587 2.361 0.202 0.269 0.000 0.463 13.503

Problem 40

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

134 134 108 172 106 130 0 297 107

N.S.

1 1.00 0.81 1.28 0.79 0.97 0.00 2.22 0.80

time (sec)

N/A 0.201 0.299 2.108 0.206 0.272 0.000 0.419 13.356

Problem 41

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

98 98 86 114 80 104 0 102 80

N.S.

1 1.00 0.88 1.16 0.82 1.06 0.00 1.04 0.82

time (sec)

N/A 0.129 0.156 2.169 0.212 0.263 0.000 0.382 13.276

Problem 42

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

62 62 65 46 55 65 0 64 52

N.S.

1 1.00 1.05 0.74 0.89 1.05 0.00 1.03 0.84

time (sec)

N/A 0.114 0.176 0.980 0.210 0.276 0.000 0.326 0.057

Problem 43

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

67 67 81 90 56 76 0 142 49

N.S.

1 1.00 1.21 1.34 0.84 1.13 0.00 2.12 0.73

time (sec)

N/A 0.163 0.115 0.492 0.207 0.266 0.000 0.332 13.299

Problem 44

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

88 88 88 132 84 132 0 189 75

N.S.

1 1.00 1.00 1.50 0.95 1.50 0.00 2.15 0.85

time (sec)

N/A 0.223 0.733 0.787 0.206 0.267 0.000 0.379 0.095

Problem 45

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

111 111 100 153 103 177 0 186 96

N.S.

1 1.00 0.90 1.38 0.93 1.59 0.00 1.68 0.86

time (sec)

N/A 0.201 0.723 0.996 0.210 0.279 0.000 0.389 0.111

Problem 46

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

157 157 129 164 145 297 0 243 151

N.S.

1 1.00 0.82 1.04 0.92 1.89 0.00 1.55 0.96

time (sec)

N/A 0.237 0.781 1.122 0.201 0.280 0.000 0.402 13.293

Problem 47

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

202 202 159 210 189 419 0 292 195

N.S.

1 1.00 0.79 1.04 0.94 2.07 0.00 1.45 0.97

time (sec)

N/A 0.279 0.886 1.251 0.209 0.287 0.000 0.446 13.426

Problem 48

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

210 210 156 197 291 204 0 244 320

N.S.

1 1.00 0.74 0.94 1.39 0.97 0.00 1.16 1.52

time (sec)

N/A 0.486 1.794 2.484 0.292 0.301 0.000 0.467 14.836

Problem 49

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

182 182 136 199 240 177 0 212 261

N.S.

1 1.00 0.75 1.09 1.32 0.97 0.00 1.16 1.43

time (sec)

N/A 0.341 0.570 2.516 0.285 0.300 0.000 0.421 14.533

Problem 50

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

138 138 114 153 182 152 0 180 204

N.S.

1 1.00 0.83 1.11 1.32 1.10 0.00 1.30 1.48

time (sec)

N/A 0.295 0.234 2.265 0.286 0.265 0.000 0.401 14.384

Problem 51

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

98 98 300 126 127 125 0 102 90

N.S.

1 1.00 3.06 1.29 1.30 1.28 0.00 1.04 0.92

time (sec)

N/A 0.223 2.197 1.548 0.283 0.295 0.000 0.372 13.396

Problem 52

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

80 80 244 103 137 122 0 106 98

N.S.

1 1.00 3.05 1.29 1.71 1.52 0.00 1.32 1.22

time (sec)

N/A 0.248 1.521 0.805 0.202 0.257 0.000 0.355 14.622

Problem 53

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

110 110 290 125 188 178 0 123 116

N.S.

1 1.00 2.64 1.14 1.71 1.62 0.00 1.12 1.05

time (sec)

N/A 0.274 6.706 1.487 0.215 0.288 0.000 0.397 18.203

Problem 54

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

165 165 353 137 228 225 0 141 136

N.S.

1 1.00 2.14 0.83 1.38 1.36 0.00 0.85 0.82

time (sec)

N/A 0.524 2.013 1.399 0.206 0.287 0.000 0.396 17.708

Problem 55

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

192 192 430 192 268 278 0 169 169

N.S.

1 1.00 2.24 1.00 1.40 1.45 0.00 0.88 0.88

time (sec)

N/A 0.392 3.788 1.556 0.211 0.276 0.000 0.433 16.142

Problem 56

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B C A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

232 232 1000 259 308 375 0 202 204

N.S.

1 1.00 4.31 1.12 1.33 1.62 0.00 0.87 0.88

time (sec)

N/A 0.446 12.602 1.751 0.212 0.285 0.000 0.456 14.120

Problem 57

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

91 91 62 89 89 89 0 141 110

N.S.

1 1.00 0.68 0.98 0.98 0.98 0.00 1.55 1.21

time (sec)

N/A 0.219 3.217 0.830 0.198 0.268 0.000 0.312 0.090

Problem 58

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

73 73 52 69 69 69 0 119 84

N.S.

1 1.00 0.71 0.95 0.95 0.95 0.00 1.63 1.15

time (sec)

N/A 0.192 1.116 0.659 0.204 0.257 0.000 0.299 0.063

Problem 59

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

55 55 42 49 49 49 0 97 58

N.S.

1 1.00 0.76 0.89 0.89 0.89 0.00 1.76 1.05

time (sec)

N/A 0.193 0.172 0.533 0.203 0.274 0.000 0.318 0.072

Problem 60

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

37 37 32 29 29 29 0 32 26

N.S.

1 1.00 0.86 0.78 0.78 0.78 0.00 0.86 0.70

time (sec)

N/A 0.163 0.161 0.506 0.200 0.273 0.000 0.288 13.499

Problem 61

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 31 28 32 30 28 0 34 25

N.S.

1 1.00 0.90 1.03 0.97 0.90 0.00 1.10 0.81

time (sec)

N/A 0.103 0.057 0.325 0.198 0.271 0.000 0.293 0.055

Problem 62

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

58 58 67 35 47 60 0 56 33

N.S.

1 1.00 1.16 0.60 0.81 1.03 0.00 0.97 0.57

time (sec)

N/A 0.117 0.078 0.535 0.204 0.283 0.000 0.299 13.502

Problem 63

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

82 82 92 55 86 138 0 129 75

N.S.

1 1.00 1.12 0.67 1.05 1.68 0.00 1.57 0.91

time (sec)

N/A 0.218 0.377 0.557 0.200 0.281 0.000 0.313 0.100

Problem 64

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

106 106 122 79 130 217 0 182 115

N.S.

1 1.00 1.15 0.75 1.23 2.05 0.00 1.72 1.08

time (sec)

N/A 0.242 0.358 0.578 0.203 0.261 0.000 0.316 13.383

Problem 65

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

125 125 132 99 360 91 0 139 132

N.S.

1 1.00 1.06 0.79 2.88 0.73 0.00 1.11 1.06

time (sec)

N/A 0.297 1.613 0.666 0.292 0.261 0.000 0.337 16.326

Problem 66

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

99 99 112 77 278 70 0 113 106

N.S.

1 1.00 1.13 0.78 2.81 0.71 0.00 1.14 1.07

time (sec)

N/A 0.231 0.511 0.591 0.296 0.285 0.000 0.296 16.459

Problem 67

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

73 73 83 44 196 51 0 87 55

N.S.

1 1.00 1.14 0.60 2.68 0.70 0.00 1.19 0.75

time (sec)

N/A 0.202 0.417 0.605 0.292 0.250 0.000 0.313 13.995

Problem 68

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

44 44 68 33 112 27 0 58 30

N.S.

1 1.00 1.55 0.75 2.55 0.61 0.00 1.32 0.68

time (sec)

N/A 0.152 0.190 0.608 0.282 0.267 0.000 0.307 13.794

Problem 69

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

37 37 66 35 49 41 0 37 32

N.S.

1 1.00 1.78 0.95 1.32 1.11 0.00 1.00 0.86

time (sec)

N/A 0.165 0.823 0.511 0.208 0.284 0.000 0.308 13.813

Problem 70

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

55 55 116 60 96 89 0 74 60

N.S.

1 1.00 2.11 1.09 1.75 1.62 0.00 1.35 1.09

time (sec)

N/A 0.190 0.684 0.530 0.200 0.253 0.000 0.317 13.991

Problem 71

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

73 73 158 86 136 131 0 103 153

N.S.

1 1.00 2.16 1.18 1.86 1.79 0.00 1.41 2.10

time (sec)

N/A 0.205 0.828 0.556 0.201 0.255 0.000 0.313 14.038

Problem 72

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

91 91 200 112 176 177 0 132 201

N.S.

1 1.00 2.20 1.23 1.93 1.95 0.00 1.45 2.21

time (sec)

N/A 0.205 2.066 0.607 0.197 0.310 0.000 0.322 13.927

Problem 73

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

109 109 242 138 216 219 0 161 139

N.S.

1 1.00 2.22 1.27 1.98 2.01 0.00 1.48 1.28

time (sec)

N/A 0.215 3.185 0.767 0.202 0.272 0.000 0.344 15.907

Problem 74

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

137 137 72 89 89 89 0 185 109

N.S.

1 1.00 0.53 0.65 0.65 0.65 0.00 1.35 0.80

time (sec)

N/A 0.239 3.896 1.160 0.202 0.301 0.000 0.382 0.090

Problem 75

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

114 114 62 79 79 79 0 141 96

N.S.

1 1.00 0.54 0.69 0.69 0.69 0.00 1.24 0.84

time (sec)

N/A 0.217 2.930 0.959 0.196 0.272 0.000 0.366 0.072

Problem 76

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

73 73 53 49 49 49 0 141 58

N.S.

1 1.00 0.73 0.67 0.67 0.67 0.00 1.93 0.79

time (sec)

N/A 0.211 1.373 0.850 0.192 0.288 0.000 0.351 0.074

Problem 77

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

55 55 42 39 39 39 0 119 36

N.S.

1 1.00 0.76 0.71 0.71 0.71 0.00 2.16 0.65

time (sec)

N/A 0.193 0.411 0.831 0.213 0.299 0.000 0.333 13.970

Problem 78

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

66 66 51 48 51 48 0 75 56

N.S.

1 1.00 0.77 0.73 0.77 0.73 0.00 1.14 0.85

time (sec)

N/A 0.203 0.099 0.962 0.195 0.265 0.000 0.314 0.066

Problem 79

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

52 52 64 44 46 58 0 52 46

N.S.

1 1.00 1.23 0.85 0.88 1.12 0.00 1.00 0.88

time (sec)

N/A 0.124 0.196 0.434 0.206 0.280 0.000 0.341 0.086

Problem 80

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

60 60 83 46 74 106 0 87 60

N.S.

1 1.00 1.38 0.77 1.23 1.77 0.00 1.45 1.00

time (sec)

N/A 0.150 0.215 0.515 0.197 0.263 0.000 0.328 0.097

Problem 81

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

42 42 38 46 59 60 0 82 58

N.S.

1 1.00 0.90 1.10 1.40 1.43 0.00 1.95 1.38

time (sec)

N/A 0.158 0.206 0.527 0.202 0.264 0.000 0.351 13.814

Problem 82

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

146 146 152 100 167 283 0 207 152

N.S.

1 1.00 1.04 0.68 1.14 1.94 0.00 1.42 1.04

time (sec)

N/A 0.262 0.621 0.611 0.208 0.277 0.000 0.376 13.638

Problem 83

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

167 167 131 99 378 90 0 139 133

N.S.

1 1.00 0.78 0.59 2.26 0.54 0.00 0.83 0.80

time (sec)

N/A 0.547 3.045 1.134 0.288 0.273 0.000 0.354 16.849

Problem 84

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

104 104 111 77 292 71 0 113 107

N.S.

1 1.00 1.07 0.74 2.81 0.68 0.00 1.09 1.03

time (sec)

N/A 0.374 0.619 0.933 0.288 0.259 0.000 0.339 16.577

Problem 85

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

87 87 91 55 206 50 0 87 81

N.S.

1 1.00 1.05 0.63 2.37 0.57 0.00 1.00 0.93

time (sec)

N/A 0.297 0.583 0.805 0.282 0.289 0.000 0.317 17.564

Problem 86

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 69 121 45 140 61 0 75 91

N.S.

1 1.00 1.75 0.65 2.03 0.88 0.00 1.09 1.32

time (sec)

N/A 0.392 0.456 0.800 0.282 0.266 0.000 0.337 13.160

Problem 87

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

73 73 105 58 90 71 0 74 71

N.S.

1 1.00 1.44 0.79 1.23 0.97 0.00 1.01 0.97

time (sec)

N/A 0.255 0.733 0.538 0.203 0.263 0.000 0.340 13.180

Problem 88

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

91 91 149 84 134 108 0 105 121

N.S.

1 1.00 1.64 0.92 1.47 1.19 0.00 1.15 1.33

time (sec)

N/A 0.426 1.110 0.638 0.213 0.258 0.000 0.344 13.187

Problem 89

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

109 109 191 110 174 169 0 134 106

N.S.

1 1.00 1.75 1.01 1.60 1.55 0.00 1.23 0.97

time (sec)

N/A 0.434 1.316 0.720 0.208 0.261 0.000 0.411 14.385

Problem 90

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

125 125 233 112 174 204 0 134 201

N.S.

1 1.00 1.86 0.90 1.39 1.63 0.00 1.07 1.61

time (sec)

N/A 0.446 2.321 0.623 0.207 0.273 0.000 0.387 14.015

Problem 91

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

139 139 120 89 89 89 0 207 110

N.S.

1 1.00 0.86 0.64 0.64 0.64 0.00 1.49 0.79

time (sec)

N/A 0.246 3.902 1.035 0.219 0.284 0.000 0.412 13.475

Problem 92

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

109 109 100 69 69 69 0 185 84

N.S.

1 1.00 0.92 0.63 0.63 0.63 0.00 1.70 0.77

time (sec)

N/A 0.218 1.856 0.991 0.200 0.265 0.000 0.417 13.185

Problem 93

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

73 73 80 49 49 49 0 163 58

N.S.

1 1.00 1.10 0.67 0.67 0.67 0.00 2.23 0.79

time (sec)

N/A 0.225 0.847 0.969 0.192 0.268 0.000 0.386 13.419

Problem 94

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

102 102 73 68 73 70 0 172 82

N.S.

1 1.00 0.72 0.67 0.72 0.69 0.00 1.69 0.80

time (sec)

N/A 0.229 0.361 1.047 0.210 0.272 0.000 0.372 13.356

Problem 95

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

89 89 99 60 72 82 0 94 75

N.S.

1 1.00 1.11 0.67 0.81 0.92 0.00 1.06 0.84

time (sec)

N/A 0.238 0.209 0.965 0.194 0.269 0.000 0.334 0.073

Problem 96

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

75 75 103 59 71 96 0 63 59

N.S.

1 1.00 1.37 0.79 0.95 1.28 0.00 0.84 0.79

time (sec)

N/A 0.162 0.150 0.446 0.200 0.268 0.000 0.325 0.089

Problem 97

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

82 82 97 61 98 151 0 113 83

N.S.

1 1.00 1.18 0.74 1.20 1.84 0.00 1.38 1.01

time (sec)

N/A 0.202 0.243 0.607 0.210 0.278 0.000 0.355 0.128

Problem 98

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

126 126 138 87 146 240 0 182 130

N.S.

1 1.00 1.10 0.69 1.16 1.90 0.00 1.44 1.03

time (sec)

N/A 0.185 0.743 0.680 0.203 0.268 0.000 0.373 0.170

Problem 99

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

128 128 137 91 188 317 0 232 173

N.S.

1 1.00 1.07 0.71 1.47 2.48 0.00 1.81 1.35

time (sec)

N/A 0.245 3.777 0.989 0.196 0.271 0.000 0.449 13.757

Problem 100

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

157 157 131 99 378 91 0 139 132

N.S.

1 1.00 0.83 0.63 2.41 0.58 0.00 0.89 0.84

time (sec)

N/A 0.585 5.223 0.970 0.284 0.265 0.000 0.410 16.578

[next] [front] [up]